301. Production management methods: Proceedings of the IFIP WG 5.7 working Conference on evaluation of production management methods gramado, Brazil. 21 - 24 march, 1994
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه شهركرد (چهار محال و بختیاری)
موضوع: Production management - Congresses
302. Production management systems :strategies and tools for design : proceedings of the IFIP WG5.7 Working Conference on Strategies for Design and Economic Analysis of Computer-supported Production Management Systems, Vienna, Austria, 28-30 September, 1983
پدیدآورنده: edited by Heinz Hubner, co-editor )English language(, Iain Paterson
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع: Data processing Congresses ، Production management
رده :
TS
155
.
A1I43
1983
303. Programing Environments for High -Level scientific problem solving :proccedings of the IFIP Tc2 / WG2.5 working conference on programming Environmental for Germany , 23-27 september , 1991
پدیدآورنده: Edited by p.w Gaffney , E. N . Houstis , managing
کتابخانه: کتابخانه دانشکده تحصیلات تکمیلی محیط زیست دانشگاه تهران (تهران)
موضوع: Electronic digital computers - programming - congresses,Problem solving - congresses .
رده :
QA
76
.
6
.
I1782
1992
304. Protocol specification, testing, and verification ... : Proceedings of the IFIP WG 6.1 ... International Symposium on Protocol Specification, Testing, and Verification
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computer network protocols-- Congresses
رده :
TK
5105
.
5
.
I3426a
305. Protocol specification, testing, and verification :proceedings of the IFIP WG 6.1 ... International Conference on Protocol Specification, Testing, and Verification
پدیدآورنده:
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع: Congresses ، Computer network protocols
رده :
TK
5105
.
5
.
I3426
1987
306. Protocol specification, testing, and verification : proceedings of the IFIP WG 6.1 ... International Conference on Protocol Specification, Testing, and Verification.
پدیدآورنده: IFIP WG 6.1 International Conference on Protocol Specification, Testing, and Verification.
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع: ، Computer network protocols- Congresses
رده :
TK
5105
.
5
.
I3426
1989
307. Protocol specification, testing, and verification :proceedings of the IFIP WG 6.1 ... International Conference on Protocol Specification, Testing, and Verification
پدیدآورنده:
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع: Congresses ، Computer network protocols
رده :
TK
5105
.
5
.
I3426
1988
308. Re-conceptualizing enterprise information systems :
پدیدآورنده: Charles Møller, Sohail Chaudhry (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Enterprise application integration (Computer systems), Congresses.,Management information systems, Congresses.
رده :
T58
.
6
.
I584
2011eb
309. Readings on cognitive ergonomics-mind and computers : proceedings of the 2nd European Conference, Gmunden, Austria, September 10-14, 1984
پدیدآورنده: edited by G.C. Van der Veer...]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Psychology -- Congresses ، Electronic digital computers,Congresses ، Interactive computer systems,Congresses ، System design
رده :
QA
76
.
L28
Vol
.
178
310. Readings on cognitive ergonomics--mind and computers : proceedings of the 2nd European conference, Gmunden, Austria, September 10-14, 1984
پدیدآورنده: edited by G.C. van der Veer ... )et al.(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Psychology - Congresses ، Electronic digital computers,Congresses ، Interactive computer systems,Congresses ، System design
رده :
QA
76
.
L4
v
.
178
311. Readings on cognitive ergonomics--mind and computers: proceedings of the 2nd European conference, Gmunden, Austria, September 10-14, 1984
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Electronic digital computers - Psychological aspects,Congresses ، Interactive computer systems,Congresses ، System design
رده :
QA
76
.
9
.
P75
.
R4
1984
312. Realization of data protection in healh information systems proceeding
پدیدآورنده: / eidted by G. Griesser in colleaboration with J. Anderson ...[et al.]
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Medical records - Access control congresses,Medical records - Data processing congresses
رده :
651
.
5
I11r
1976
313. Realization of data protection in health information systems : proceedings of the IFIP-WG 4.2 Working Conference on Realization of Data Protection in Health Information Systems, Kiel, 23-25 June 1976
پدیدآورنده: edited by G. Griesser, in collaboration with J. Anderson ... )et al.(
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: Congresses ، Medical records -- Access control,Congresses ، Medical records -- Data processing
رده :
R
864
.
I17
314. Recent advanced in system modelling and optimization: Proceedings of the IFIP-WG 7/1 Working Conference, Santiago, Chile, August 27-31,1984
پدیدآورنده: edited by L.Cotesse, R.Correa, and A.Weintraub
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Congresses ، System analysis,Mathematical models -Congresses,Congresses ، Mathematical optimization
رده :
QA
402
.
I43
1984
315. Recent advences in system modelling and optimization: Proceeding of the IFIP WG 7/1 working conference. Santiago, Chile, August 27-31, 1984
پدیدآورنده: edited by L.Contesse, R.Correa, and A.Weintraub
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Congresses ، Mathematical optimization,Mathematical models -Congresses
رده :
QA
402
.
5
.
R43
316. Recent trends in algebraic development techniques :
پدیدآورنده: José Luiz Fiadeiro, Ionuţ Ţuţu (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science-- Mathematics, Congresses.,Computer software-- Development, Congresses.,Formal methods (Computer science), Congresses.,Computer science-- Mathematics.,Computer software-- Development.,Formal methods (Computer science)
رده :
QA76
.
76
.
D47
317. Reliability and Optimization of Structural Systems '91 :
پدیدآورنده: edited by Rüdiger Rackwitz, Palle Thoft-Christensen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Building Construction.,Engineering.,Quality Control, Reliability, Safety and Risk.
318. Reliability and Optimization of Structural Systems '90 :
پدیدآورنده: edited by A. Kiureghian, P. Thoft-Christensen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Civil engineering.,Engineering.,Mechanics.
319. Reliability and Optimization of Structural Systems :
پدیدآورنده:
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Reliability (Engineering), Congresses.,Structural analysis (Engineering), Congresses.,Structural engineering, Congresses.,Reliability (Engineering),Structural analysis (Engineering),Structural engineering.,TECHNOLOGY & ENGINEERING-- Civil-- General.
رده :
TA658
.
8
320. Reliability and optimization of structural systems
پدیدآورنده: edited by Marc A. Maes, Luc Huyse
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (آذربایجان شرقی)
موضوع: Structural optimization--Congresses,Reliability (Engineering)--Congresses
رده :
TA
,
658
.
8
,.
R45
